Hall-effect device - German English Dictionary